void printf_int_array(int arr[], int n);